- evaluating quantified boolean formulas
- Программирование: вычисление булевых формул с кванторами
Универсальный англо-русский словарь. Академик.ру. 2011.
evaluating quantified boolean formulas
Смотреть что такое "evaluating quantified boolean formulas" в других словарях:
2-satisfiability — In computer science, 2 satisfiability (abbreviated as 2 SAT or just 2SAT) is the problem of determining whether a collection of two valued (Boolean or binary) variables with constraints on pairs of variables can be assigned values satisfying all… … Wikipedia
